数学における証明と真理 様相論理と数学基礎論
数学における証明と真理 第1部メモ
数学における証明と真理 第2部メモ